$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$. ($\neg_{b}$$i$ $<$z $j$) = $j$ $\leq$z $i$